Orthologic is defined by weakening the axioms and rules of inference of the classical propositional calculus. The resulting Lindenbaum-Tarski quotient algebra is an orthoimplication algebra which generalizes the author's implication algebra. The associated order structure is a semi-orthomodular lattice. The theory of orthomodular lattices is obtained by adjoining a falsity symbol to the underlying orthologic or a least element to the orthoimplication algebra.

The human enhancement debate typically centres on moral issues regarding changes in human nature, not on the means for these changes. We argue that one cannot grasp what is morally salient about human enhancement without understanding how technologies affect human action and practical reasoning. We present a minimalist conception of human agents as bounded practical reasoners. Then, we categorise different effects of technologies on our possibilities for action and our evaluation of these possibilities. For each, we discuss whether enhancement technologies (...) have morally salient effects; which technologies show these effects; and whether these differ significantly from those of other, non-enhancement technologies. We conclude that enhancement technologies are morally salient in several respects, that not all enhancement technologies share all those morally salient respects, and that continuities with traditional technologies may be found in all morally salient respects. (shrink)

In Spandrels of Truth, Beall concisely presents and defends a modest, so-called dialetheic theory of transparent truth.

Consequence is at the heart of logic, and an account of consequence offers a vital tool in the evaluation of arguments. This text presents what the authors term as 'logical pluralism' arguing that the notion of logical consequence doesn't pin down one deductive consequence relation; it allows for many of them.

A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the rich (...) will enroll. There are many different things one can say about this argument, but many agree that if we do not equivocate (if the terms mean the same thing in the premises and the conclusion) then the argument is valid, that is, the conclusion follows deductively from the premises. This does not mean that the conclusion is true. Perhaps the premises are not true. However, if the premises are true, then the conclusion is also true, as a matter of logic. This entry is about the relation between premises and conclusions in valid arguments. (shrink)

The Liar paradox raises foundational questions about logic, language, and truth (and semantic notions in general). A simple Liar sentence like 'This sentence is false' appears to be both true and false if it is either true or false. For if the sentence is true, then what it says is the case; but what it says is that it is false, hence it must be false. On the other hand, if the statement is false, then it is true, since it (...) says (only) that it is false. -/- How, then, should we classify Liar sentences? Are they true or false? A natural suggestion would be that Liars are neither true nor false; that is, they fall into a category beyond truth and falsity. This solution might resolve the initial problem, but it beckons the Liar's revenge. A sentence that says of itself only that it is false or beyond truth and falsity will, in effect, bring back the initial problem. The Liar's revenge is a witness to the hydra-like nature of Liars: in dealing with one Liar you often bring about another. -/- JC Beall presents fourteen new essays and an extensive introduction, which examine the nature of the Liar paradox and its resistance to any attempt to solve it. Written by some of the world's leading experts in the field, the papers in this volume will be an important resource for those working in truth studies, philosophical logic, and philosophy of language, as well as those with an interest in formal semantics and metaphysics. (shrink)

Extensively classroom-tested, Possibilities and Paradox provides an accessible and carefully structured introduction to modal and many-valued logic. The authors cover the basic formal frameworks, enlivening the discussion of these different systems of logic by considering their philosophical motivations and implications. Easily accessible to students with no background in the subject, the text features innovative learning aids in each chapter, including exercises that provide hands-on experience, examples that demonstrate the application of concepts, and guides to further reading.

The paper reviews a number of approaches for handling restricted quantification in relevant logic, and proposes a novel one. This proceeds by introducing a novel kind of enthymematic conditional.

Semantic and soritical paradoxes challenge entrenched, fundamental principles about language - principles about truth, denotation, quantification, and, among others, 'tolerance'. Study of the paradoxes helps us determine which logical principles are correct. So it is that they serve not only as a topic of philosophical inquiry but also as a constraint on such inquiry: they often dictate the semantic and logical limits of discourse in general. Sixteen specially written essays by leading figures in the field offer new thoughts and arguments (...) about the paradoxes. (shrink)

The two purposes of this essay. The general philosophical problem with most versions of social libertarianism and how this essay will proceed. The specific problem with liberty explained by a thought-experiment. The positive and abstract theory of interpersonal liberty-in-itself as ‘the absence of interpersonal initiated constraints on want-satisfaction’, for short ‘no initiated impositions’. The individualistic liberty-maximisation theory solves the problems of clashes, defences, and rectifications without entailing interpersonal utility comparisons or libertarian consequentialism. The practical implications of instantiating liberty: three rules (...) of liberty-in-practice, 1) initial ultimate control of one’s body, 2) initial ultimate control of one’s used resources, 3) consensual interpersonal interactions and resource transfers. These rules are economically efficient and maximise general want-satisfaction. Private property and legal remedies are additional practical institutional aspects, but to which ‘initiated impositions’ then apply prima facie. Libertarian law is often mistaken for complete libertarianism. Moral explanations are a separate issue. The three main moral theories imply libertarianism, but it can be morally posited independently of them. Critical rationalism and its application. No empirical or argumentative support for theories. An important ambiguity with ‘justification’. How the epistemology applies to the theory of liberty and its application but remains separable in principle. Conclusion: there are further published explanations but this should be enough to generate useful criticism. Appendix replying to some typical comments. (shrink)

The aim of this paper is to show the relationship between the normative outlook and political philoso- phy of traditional societies on the one hand, and the crises of governance and leadership in contemporary African Societies, particularly subSaharan states, on the other. Although there are quite some differences in the quality of leadership and governance among sub-Saharan African states because of the different political and economic circumstances, this part of the globe taken as a whole remains underdeveloped in terms of (...) having the will to institute and maintain stable polities with responsive, responsible and efficient governance. (shrink)

Semantic and soritical paradoxes challenge entrenched, fundamental principles about language - principles about truth, denotation, quantification, and, among others, 'tolerance'. Study of the paradoxes helps us determine which logical principles are correct. So it is that they serve not only as a topic of philosophical inquiry but also as a constraint on such inquiry: they often dictate the semantic and logical limits of discourse in general. Sixteen specially written essays by leading figures in the field offer new thoughts and arguments (...) about the paradoxes. (shrink)

This paper examines the role of ideology in the emergence of the empirical sciences and the evolution of philosophy. It argues that the orientation of the religious ideology, Christianity, at the epistemological and ontological levels was very instrumental in the emergence of the empirical sciences in the area dominated by the culture of the Western (Latin) church. This claim is demonstrated by an analysis of the theoretical and methodological orientation of pre-Christian Europe, the epistemological and other philo- sophical values sponsored (...) by Christianity, as well as a comparative analysis of other cultural regions where such philosophical values did not exist. The paper then explores the evolution of philosophy after the emergence of the empirical sciences. It points out that the progress of philosophy along rational lines and the generation of knowledge thereof is not equivalent to embracing the method of the empirical sciences (scientism), but rather is a rediscovery of the rational attitude bearing in mind the context in which it has to operate. (shrink)

I have argued that without an adequate solution to the knower paradox Fitch's Proof is- or at least ought to be-ineffective against verificationism. Of course, in order to follow my suggestion verificationists must maintain that there is currently no adequate solution to the knower paradox, and that the paradox continues to provide prima facie evidence of inconsistent knowledge. By my lights, any glimpse at the literature on paradoxes offers strong support for the first thesis, and any honest, non-dogmatic reflection on (...) the knower paradox provides strong support for the second. Whether verificationists want to go the route I've suggested is not for me todecide. As in the previous section my aim has been that of defending the mere viability of verificationism in the face of what many, many philosophers have taken to be its death-knell, namely Fitch's Proof. But, as the final objection makes clear, showing that verificationism can live in the face of Fitch's Proof is one thing; showing that it should live is another project. If nothing else, I hope that this papershows that verificationists still have a project to pursue; Fitch's Proof, contrary to popular opinion, need not bury verificationism.13. (shrink)

We are pluralists about logical consequence [1]. We hold that there is more than one sense in which arguments may be deductively valid, that these senses are equally good, and equally deserving of the name deductive validity. Our pluralism starts with our analysis of consequence. This analysis of consequence is not idiosyncratic. We agree with Richard Jeffrey, and with many other philosophers of logic about how logical consequence is to be defined. To quote Jeffrey.

In this paper I consider, in connection with dementia, two views of the person. One view of the person is derived from Locke and Parfit. This tends to regard the person solely in terms of psychological states and his/her connections. The second view of the person is derived from a variety of thinkers. I have called it the situated-embodied-agent view of the person. This view, I suggest, more readily squares with the reality of clinical experience. It regards the person as (...) embedded in a history and culture. The human person is also an embodied agent. I contend that this view encourages a more appropriate approach towards the ethical issues that arise in dementia and towards people with dementia. (shrink)

The Liar paradox raises foundational questions about logic, language, and truth. A simple Liar sentence like 'This sentence is false' appears to be both true and false if it is either true or false. For if the sentence is true, then what it says is the case; but what it says is that it is false, hence it must be false. On the other hand, if the statement is false, then it is true, since it says that it is false.How, (...) then, should we classify Liar sentences? Are they true or false? A natural suggestion would be that Liars are neither true nor false; that is, they fall into a category beyond truth and falsity. This solution might resolve the initial problem, but it beckons the Liar's revenge. A sentence that says of itself only that it is false or beyond truth and falsity will, in effect, bring back the initial problem. The Liar's revenge is a witness to the hydra-like nature of Liars: in dealing with one Liar you often bring about another.JC Beall presents fourteen new essays and an extensive introduction, which examine the nature of the Liar paradox and its resistance to any attempt to solve it. Written by some of the world's leading experts in the field, the papers in this volume will be an important resource for those working in truth studies, philosophical logic, and philosophy of language, as well as those with an interest in formal semantics and metaphysics. (shrink)

One of the standard ways of proving the consistency of additional hypotheses with the basic axioms of an axiom system is by the construction of what may be described as ‘inner models.’ By starting with a domain of individuals assumed to satisfy the basic axioms an inner model is constructed whose domain of individuals is a certain subset of the original individual domain. If such an inner model can be constructed which satisfies not only the basic axioms but also the (...) particular additional hypothesis under consideration, then this affords a proof that if the basic axiom system is consistent then so is the system obtained by adding to this system the new hypothesis. This method has been applied to axiom systems for set theory by many authors, including v. Neumann, Mostowski, and more recently Gödel, who has shown by this method that if the basic axioms of a certain axiomatic system of set theory are consistent then so is the system obtained by adding to these axioms a strong form of the axiom of choice and the generalised continuum hypothesis. Having been shown in this striking way the power of this method it is natural to inquire whether it has any limitations or whether by the construction of a sufficiently ingenious inner model one might hope to decide other outstanding consistency questions, such as the consistency of the negations of the axiom of choice and continuum hypothesis. In this and two following papers we prove some general theorems concerning inner models for a certain axiomatic system of set theory which lead to the result that as far as a fairly large family of inner models are concerned this method of proving consistency has been exhausted, that no essentially new consistency results can be obtained by the use of this kind of model. (shrink)